\begin{tabbing}
ecl{-}mng{-}sends\=\{i:l\}\+
\\[0ex](${\it es}$; $i$; ${\it ds}$; ${\it da}$; $x$; $l$; ${\it snd}$)
\-\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\=es{-}decls(${\it es}$;$i$;${\it ds}$;${\it da}$)\+
\\[0ex]$\Rightarrow$ \=with decls \=${\it ds}$ \+\+
\\[0ex]${\it da}$
\-\\[0ex]sends on $l$ from $e$ 
\\[0ex]include tagged{-}list{-}messages(\=es{-}state{-}when(${\it es}$; $e$);\+
\\[0ex]es{-}val(${\it es}$; $e$);
\\[0ex]mapfilter(\=($\lambda$${\it tr}$.$<$${\it tr}$.1, ${\it tr}$.2.2$>$);\+
\\[0ex]($\lambda$${\it tr}$.es{-}bact\=\{i:l\}\+
\\[0ex](\=${\it ds}$;\+
\\[0ex]${\it da}$;
\\[0ex]$x$;
\\[0ex]${\it es}$;
\\[0ex]((${\it tr}$.2).1);
\\[0ex]es{-}init(${\it es}$;$e$);
\\[0ex]$e$));
\-\-\\[0ex]fpf{-}cap(\=${\it snd}$;\+
\\[0ex]product{-}deq(\=Knd;\+
\\[0ex]IdLnk;
\\[0ex]Kind{-}deq;
\\[0ex]idlnk{-}deq);
\-\\[0ex]$<$es{-}kind(${\it es}$; $e$), $l$$>$;
\\[0ex][]))) 
\-\-\-\\[0ex]and only these for tags in ecl{-}tags($l$; ${\it snd}$)
\-\-
\end{tabbing}